OMon\{i\} $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$g$:AbMon\{i\}$\mid$ Linorder($\mid$$g$$\mid$;$x$,$y$.$\uparrow$($x$ ($\leq_{b}$$g$) $y$))\}